COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	fred[e86,jmc]	The tragedy of Fred McDermott
C00004 00003	with more reification
C00005 00004	∀p t0 t2.holds(p,t0) ∧ t2 > t0 ∧ ∀t1.(t0 < t1 < t2 ∧ ¬begins(not p,t1)) 
C00007 ENDMK
C⊗;
fred[e86,jmc]	The tragedy of Fred McDermott

loadedgun t ∧ t' > t ∧ ¬ab1(t,t') ⊃ loadedgun t'

alivefred t ∧ t' > t ∧ ¬ab2(t,t') ⊃ alivefred t'

loadedgun t ∧ shotfred t ∧ ¬ab3 t ⊃ ¬alivefred(t+1)

¬alivefred t ∧ t' > t ∧ ¬ab4(t,t') ⊃ ¬alivefred t'

Variables include predicates loadedgun,alivefred,ab1,ab2,ab3,ab4.
The ab's are to be minimized.

alivefred t0

loadedgun t0

shotfred(t0+1)

t'' > t' ⊃ V(ab1(t,t'),ab2(t,t''))
	∧ V(ab1(t,t'),ab3(t,t''))
	∧ V(ab1(t,t'),ab4(t,t''))
	∧ V(ab1(t,t'),loadedgun t'')
	∧ V(ab2(t,t'),alivefred t'')
	∧ V(ab2(t,t'),ab1(t,t''))
	∧ V(ab2(t,t'),ab3(t,t''))
	∧ V(ab2(t,t'),ab4(t,t''))
	∧ V(ab2(t,t'),loadedgun t')
	∧ etc.
with more reification

persistent p ∧ holds(p,t) ∧ t' > t ∧ ¬ab aspect1(p,t) ⊃ holds(p,t')

persistent alive Fred
persistent not alive Fred

e stops p ∧ holds(p,t) ∧ occurs(e,t) ⊃ (∃t'.t' > t ∧ ∀t''.t < t'' < t ⊃
holds(not p,t''))

e stops p ∧ holds(p,t) ∧ occurs(e,t) ⊃ begins(not p,t)

Perhaps all conditions should be considered persistent and only
stopped by occurrences.

holds(alive Fred,t0)

holds(loaded Gun,t0)

holds(p,t0) ∧ t2 > t0 ∧ ¬∃e t1.(t0 < t1 < t2 ∧ occurs(e,t1) ∧ stops(e,p))
	⊃ holds(p,t2)

holds(p,t0) ∧ t2 > t0 ∧ ¬∃e t1.(t0 < t1 < t2 ∧ stops(e,p,t1)) ⊃ holds(p,t2)

∀p t0 t2.holds(p,t0) ∧ t2 > t0 ∧ ∀t1.(t0 < t1 < t2 ∧ ¬begins(not p,t1)) 
		⊃ holds(p,t2)

loaded(Gun,t) ∧ occurs(shot Fred,t) ⊃ begins(not alive Fred,t)

begins(p,t) ⊃ holds(p,t)

holds(alive Fred,t0)

holds(loaded Gun,t0)

occurs(shot Fred,t1)

t1 > t0

It looks like all we have to do is minimize beginnings.  No we still need
the temporal preference or else we can unload the gun or kill Fred without
it.  If we minimize occurrences, it looks like we win, but this may require
a reformulation.  Again our intuition says that it is unsupported beginnings
that we want to minimize.  But perhaps the notion of "supported" is 
intentional.